SPLASH:rpi = "psplash-raspberrypi"

DEBUG_TOOLS_COLLECTION:append:rpi = " userland"
